Group is
   ../timeit.sml
   knuth-bendix.sml
